♾️ Codata Types - abnv · Scour

Revisiting Regular Types

abseil.io·15h

🚀Hindley-Milner+

TraitCH: a multi-taxa functional trait dataset for Switzerland and Europe

essd.copernicus.org·1h

🌳Tree Diffing

Differential Logic • 4

inquiryintoinquiry.com·43m

∫Mathematical DSLs

Duality in Monoidal Categories

arxiv.org·2d

🔗Category Theory

On the Tension Between Object-Oriented and Generic Programming in C++

artima.com·15h

🗂️Type Indexing

Railway Oriented Programming

fsharpforfunandprofit.com·1d·

Discuss: Hacker News

🚂Error Monads

isledb: An embedded key-value engine built on object storage in Go

reddit.com·2h·

Discuss: r/golang

🐹Go Internals

A Neighborhood of Infinity: You Could Have Invented Monads! (And Maybe You Already Have.)

blog.sigfpe.com·1d

🧩Monadic Parsing

Grace Hopper's Revenge

thefuriousopposites.com·3h

🔍ML Language

*META‑Discover: An Automated Knowledge‑Graph‑Driven Pipeline for Emergent Topological Invariants in High‑Dimensional Random Simplicial Complexes*

freederia.com·1d

🪢Rope Data Structures

Tip of the Week #158: Abseil Associative containers and contains()

abseil.io·15h

🗂️Type Indexing

Introduction to Flakes

nixos-and-flakes.thiscute.world·5h

🧼Lisp Hygiene

Dot Chain Special Operators

yamlscript.org·1d

Weeknotes 2026-W06 › Project Pterodactyl: incremental architecture

jonmsterling.com·22h·

Discuss: Hacker News, r/Compilers

Chromosome-level genome assembly and annotation of the critically endangered Siberian crane ( Leucogeranus leucogeranus )

nature.com·22h

🌲Deforestation

My take on transforming data

dev.to·12h·

Discuss: DEV

📋Souffle Datalog

DCP-o-matic • Re: CPL as compositions and multiple CPLs

dcpomatic.com·1d

🔗Concatenative Theory

The Adventures of a Pythonista in Schemeland/30

artima.com·15h

🔧Scheme Macros

Looking at binary trees in C++

meetingcpp.com·15h

🤐Zipper Structures

Categorical systems theory

danmackinlay.name·3d

🔗Category Theory

Loading more...